First steps towards probabilistic justification logic
نویسندگان
چکیده
منابع مشابه
First steps towards probabilistic justification logic
In this paper, we introduce a probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.
متن کاملFirst steps towards probabilistic process mining
This paper presents some initial ideas on a probabilistic version of the process mining problem. We propose that a process model selection criteria to choose the “correct” model mined from a log should balance complexity (of the model) and fitness (how well the model predicts the frequencies of the traces in the log). We propose the known statistical measure of χ to measure the fitness, and we ...
متن کاملThe Complexity of Probabilistic Justification Logic
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be used to decide the satisfiability problem for this logic in polynomial space. We show that this upper complexity bound is tight.
متن کاملOn the complexity of probabilistic justification logic
The logic PJ is a probabilistic logic over the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of PJ. The main result of the paper is that the complexity of the logic PJ remains the same as the complexity of the logic J.
متن کاملFirst Steps Towards Revising Ontologies
When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2015
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzv025